Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...) than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences (...) for the hypothesised relations between natural language and logic. (shrink)

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

Background: Several countries have recently changed their model of consent for organ donation from opt-in to opt-out. We undertook a systematic review to determine public knowledge and attitudes towards these models in Europe. Methods: Six databases were explored between 1 January 2008 and 15 December 2017. We selected empirical studies addressing either knowledge or attitudes towards the systems of consent for deceased organ donation by lay people in Europe, including students. Study selection, data extraction, and quality assessment were conducted by (...) two or more reviewers independently. Findings: Awareness of the consent model was lower in opt-out countries than in opt-in countries. A majority of the public agrees with opt-in, regardless of the law in their own country. There are ambivalent attitudes regarding the opt-out system. The public tend to prefer opt-in and mandatory choice over opt-out when several options are offered. Interpretation: The assumption that people in opt-out countries are aware of the legal requirements to be excluded from the pool of potential donors is not supported by the results of this review. This is a concern, since ignorance hinders people's autonomy regarding organ donation decision-making. Higher awareness of consent model in opt-in countries may reflect greater efforts to inform the public through campaigns to motivate donation. Legal moves towards opt-out are at odds with people's expressed preferences. Main limitations of this review are the lack of data from some countries, study population heterogeneity, and methodological shortcomings. (shrink)

Goal: To assess public knowledge and attitudes towards the family’s role in deceased organ donation in Europe. -/- Methods: A systematic search was conducted in CINHAL, MEDLINE, PAIS Index, Scopus, PsycINFO, and Web of Science on December 15th, 2017. Eligibility criteria were socio-empirical studies conducted in Europe from 2008 to 2017 addressing either knowledge or attitudes by the public towards the consent system, including the involvement of the family in the decision-making process, for post-mortem organ retrieval. Screening and data collection (...) were performed by two or more independent reviewers for each record. -/- Results: Of the 1482 results, 467 studies were assessed in full-text form, and 33 were included in this synthesis. When the deceased has not expressed any preference, a majority of the public support the family's role as a surrogate decision-maker. When the deceased expressly consented, the respondents' answers depend on whether they see themselves as potential donors or as a deceased's next-of-kin. Answers also depend on the relationship between the deceased and the decision-maker(s) within the family, and on their ethnic or cultural background. -/- Conclusions: Public views on the authority of the family in organ donation decision-making require further research. A common conceptual framework and validated well-designed questionnaires are needed for future studies. The findings should be considered in the development of Government policy and guidance regarding the role of families in deceased organ donation. (shrink)

This paper challenges the notion that the only way to progress to a post-capitalist society is through the wholesale destruction of the capitalist economic system. Instead, I argue that Craft —an existential state and praxis informed by the creation and maintenance of objects of utility—is uniquely situated to effectively reclaim these systems due to its its focus on materiality over abstraction and its unique position as a socially aware form of praxis. This argument focuses not on competition, but on hyper-abstraction (...) as the key driver of capitalist exploitation and its most glaring ethical flaw. Karl Marx's work on commodity fetishism is key to understanding this misguided form of abstraction which displaces commodities so far from their functional form that they feed into what Martin Heidegger termed gestell , or enframing. Postmodern attempts to destabilize capitalist influence in the fine arts, like the de-objectification of the 1960s described by Ursula Meyer, often fell victim to the same fetishistic mindset and simply increased the hold of capitalism within the arts. The enframing worldview that Heidegger warns us about is fed by hyper-abstraction, and while he directly offers up art as the remedy to this situation via poiēsis , key moments in his writings on the related notion of geschick support this new notion of Craft , rather than the fine arts, as a more capable system for the rehabilitation of modern society. (shrink)

L'empathie est un mode émotionnel qui associe le point de vue d'autrui à des sensations physiologiques. Ce phénomène a tendance à être plus important envers certaines personnes qu'envers d'autres. Or, il existe parfois de bonnes raisons morales de promouvoir une empathie plus égalitaire. Notre hypothèse de psychologie morale est qu'il est possible d'utiliser l'imagination, et en particulier sa dimension volontaire et sa transparence aux émotions, pour corriger certains biais empathiques.

The letter and the neon -- Augustus Rex -- Sublimism -- The incalculable -- The halo -- The new grail -- The mint and the muses -- Neon in space.

The de Morgan laws characterize how negation, conjunction, and disjunction interact with each other. They are fundamental in any semantics that bases itself on the propositional calculus/Boolean algebra. This paper is primarily concerned with the second law. In English, its validity is easy to demonstrate using linguistic examples. Consider the following: (3) Why is it so cold in here? We didn’t close the door or the window. The second sentence is ambiguous. It may mean that I suppose we did (...) not close the door or did not close the window, but I am not sure which. This `I am not sure which’ reading is irrelevant to us because it has disjunction scoping over negation. But the sentence may equally well mean (and indeed this is the preferred reading) that we didn’t close the door and did not close the window. This `neither’ reading bears out de Morgan law (2). (shrink)

Moderate skepticism about de se thought accepts that there is a kind of mental state which is about the thinker and is psychologically indispensable for intentional action, but rejects the claim that this kind employs an indexical way of referring. Morgan (2021) has proposed an explanatory argument meant to show that the psychological kind does employ an indexical way of referring to the thinker, on the basis of the special connection between these thoughts and the use of the first-person (...) pronoun (‘I’ in English), which does have an indexical semantics. This paper offers a clear motivation for the moderately skeptical position, shows that Morgan’s argument is based on a mistaken analysis of that special connection, and proposes a more viable alternative. However, on this alternative, the relationship between the psychological role of de se thoughts and the first person in language means Morgan’s explanatory argument cannot go through. (shrink)

L'écologie préénergétique des années 1905-1935 est à la recherche de ses objets d'étude. Des unités fondamentales de la nature (telles que formation végétale, association végétale, climax, biome, communauté biotique, écosystème) se trouvent en compétition et se succèdent les unes aux autres. Autour des années 1920 et 1930, la philosophie organiciste d'Alfred N. Whitehead, ainsi que la perspective évolutionniste d'Herbert Spencer et les propositions émergentistes de Samuel Alexander et Conwy L. Morgan, deviennent des références sous-jacentes au débat épistémologique concernant les (...) unités de base de l'écologie. Des auteurs comme Frederic E. Clements et John Phillips soutiendront plusieurs formes d'organicisme écologique, tandis que Henry A. Gleason interprétera l'association végétale comme le résultat d'une juxtaposition fortuite d'individus. Enfin, et paradoxalement, l'écosystème de Arthur G. Tansley, tout en faisant partie, à l'origine, d'une perspective anti-organiciste, deviendra l'unité fondamentale de programmes de recherche qui se voudront, au moins dans leurs intentions, émergentistes. (shrink)

Mind, according to cognitive neuroscience, is a set of brain functions. But, unlike sets, our minds are cohesive. Moreover, unlike the structureless elements of sets, the contents of our minds are structured. Mutual relations between the mental contents endow the mind its structure. Here we characterize the structural essence and the logical form of the mind by focusing on thinking. Examination of the relations between concepts, propositions, and syllogisms involved in thinking revealed the reflexive graph structure of the conceptual mind. (...) Objective logic of the conceptual mind is calculated from its structure. Noteworthy features of the logic of conceptual mind are: degrees of truth, varieties of negation, admission of contradiction, and the failure of a de Morgan's law. Furthermore, cohesion of the conceptual mind follows from its reflexive graph structure. Our characterization of the structure and logic of mind constitutes a substantial refinement of the contemporary cognitive neuroscientific conceptualization of the mind as a set. (shrink)

This chapter elaborates and develops the thesis originally put forward by Mary Morgan (2005) that some mathematical models may surprise us, but that none of them can completely confound us, i.e. let us unable to produce an ex post theoretical understanding of the outcome of the model calculations. This chapter intends to object and demonstrate that what is certainly true of classical mathematical models is however not true of pluri-formalized simulations with multiple axiomatic bases. This chapter thus proposes to (...) show that - and why - some of these computational simulations that are now booming in the sciences not only surprise us but also confound us. To do so, it shows too that it is needed to elaborate and articulate with some new precision the concept of weak emergence initially due, for its part, to Mark A. Bedau (1997). (shrink)

Dit werkstuk betrekt zich op de vraag of de de facto legitimiteit van Knoet de Grote als koning van Angelsaksisch Engeland, te verklaren is aan de hand van de theorieën over legitimiteit zoals gepostuleerd door Maximilian Carl Emil Weber (1864—1920). Bestaande literatuur over Knoet de Grote zijn troonsbestijging, zoals dat van vooraanstaand 19e-eeuws historicus Edward Augustus Freeman, zou een ‘geromantiseerd’ beeld hebben geschetst van de kwestie. Dit werkstuk zal kijken of dit beeld, aan de hand van Webers theorie over (...) waar legitimiteit in gegrond kan zijn, ten eerste terecht te noemen is en, ten tweede, of het Knoets status als legitiem vorst van het ‘Angelsaksische’ volk goed kan verklaren. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored (...) in the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in (...) particular we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some equality (...) may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in this paper are (...) defined with the help of the (dense) nuclei of the Heyting algebra OX of open subsets on the topological space (X, OX). In this way, the natural context for the belief operators B related to topological knowledge operator K is shown to be the Heyting algebra NUC(OX) of the nuclei of the Heyting algebra OX.1 More precisely, the dense nuclei of NUC(OX) can be used to define a variety of bimodal logics of knowledge operators K and belief operators B. The operators K and B are compatible with each other in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB system with the exception of the axiom (NI). Therefore, for (X, OX), one obtains a bounded, partially ordered family of belief operators B defined by the elements of NUC(OX). (shrink)

Résumé Le débat holisme-réductionnisme se structure autour de trois domaines sémantiques : l 'ontologie, la méthodologie et l'épistémologie. Généralement, une méthodologie analytique s'accompagne d'une ontologie atomiste et de la réduction des lois et théorie des niveaux d'organisation supérieurs aux lois et théorie des niveaux inférieurs. Par contre, une ontologie holiste, relationnelle peut s'accorder au concept d'émergence. En conséquence dans l'élaboration des lois et théories d'un phénomène appartenant à un niveau donné la prise en compte du niveau d'organisation supérieurs se révélera (...) déterminante. Les propositions philosophiques anti-mécanicistes de précurseur tels que Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, même en restant au niveau d'une forme de proto-émergentisme représentent le fondement épistémologique à partir duquel s'est développée une méthodologie véritablement émergentiste. Abstract The holism-reductionism debate is structured around three areas of semantics: ontology, methodology and epistemology. As a general rule, an analytical methodology goes with an atomist ontology, and the reduction of laws and theories from the higher levels of organisation to the laws and theories of lower levels. On the other hand, a holistic and relational ontology can be in unison with the concept of emergence. As a consequence, in elaborating laws and theories of a phenornenon of a given level, taking into account that the higher level of organisation will be determinant. The philosophical and anti-mechanistic propositions of precursors such as F. Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, even remaining at the level of a kind of proto-emergentism represent the epistemological basis on which a true emergentist methodology has been developed. (shrink)

The Louvre Museum is the largest of the world's art museums by its exhibition surface. These represent the Western art of the Middle Ages in 1848, those of the ancient civilizations that preceded and influenced it (Oriental, Egyptian, Greek, Etruscan and Roman), and the arts of early Christians and Islam. At the origin of the Louvre existed a castle, built by King Philip Augustus in 1190, and occupying the southwest quarter of the current Cour Carrée. In 1594, Henri IV (...) decided to unite the palace of the Louvre with the palace of the Tuileries built by Catherine de Medicis. The Cour Carrée was built by the architects Lemercier and then Le Vau, under the reign of Louis XIII and Louis XIV. The Department of Paintings currently has about 7,500 paintings (of which 3,400 are exposed), covering a period that goes from the Middle Ages to 1848 (date of the beginning of the Second Republic). By including the deposits, the collection is, with 12,660 works, the largest collection of ancient paintings in the world. With rare exceptions, the works after 1848 were transferred to the Musée d'Orsay when it was created in 1986. CONTENTS: Louvre Museum - Variety of exhibited works - The Royal Palace - The collections - - Eastern antiquities - - Arts of Islam - - Egyptian Antiquities - - Greek, Etruscan and Roman Antiquities - - Paintings - - - French school - - - Northern Schools (Flanders, Netherlands, Germany) - - - Italian School - - - Other schools Painting - Definitions - Painting genres - - The landscape - - Still life Paintings - FRANCOIS BOUCHER - - Vulcan presenting arms to Venus for Aeneas - RAPHAEL - - Portrait of Baldassare Castiglione - RUBENS - - Helena Fourment with children - LOUIS DAVID - - Madame Récamier - REMBRANDT - - Portrait of Heindrickje Stoffels - VELAZQUEZ - - Portrait of the Infanta Margarita - SIMONE MEMMI - - Jesus Christ walking on Calvary - JAN STEEN - - The Bad Company - HANS HOLBEIN - - Erasmus - CORREGGIO - - Mystic Marriage of Saint Catherine - LANCRET - - Conversation - JAN VAN DER MEER (VERMEER) - - The Lacemaker - VAN DYCK - - Charles I at the Hunt - FRANÇOIS CLOUET - - Elisabeth of Austria (1554-1592), Wife of Charles IX and Queen of France (1570 - 1574) - DELACROIX - - The Barque of Dante - EL GRECO - - Saint Louis, King of France, and a page - REMBRANDT - - Pilgrims at Emmaus (The Supper at Emmaus) - GERARD DAVID - - Marriage at Cana - RAPHAEL - - Portrait of Dona Isabel de Requesens, Vice-Queen of Naples - RUBENS - - La Kermesse (The Village Fête, or Noce de village) - FRANS HALS - - The Gypsy Girl - DECAMPS - - The Sonneurs - HOLBEIN THE YOUNGER - - Anne of Cleves - P. PRUD’HON - - Psyche transported to Heaven - PHILIPPE DE CHAMPAIGNE - - Portrait of Richelieu - LANCRET - - The Autumn - L. DAVID - - Madame Seriziat - COROT - - Recollection of Mortefontaine - LEONARDO DA VINCI - - La belle ferronnière - CORREGGIO - - Venus and Cupid with a Satyr - WATTEAU - - Pilgrimage to Cythera (The Embarkation for Cythera) - NICOLAS POUSSIN - - The Inspiration of the Poet - PRUD’HON - - The Empress Josephine (1763-1814) - FRAGONARD - - The Bathers - H. RIGAUD - - Louis XIV (1638–1715) - TERBURG - - The Concert - LEOPOLD ROBERT - - The Pilgrimage to the Madonna of the Arch - LARGILLIERE - - Family Portrait - MANTEGNA - - Parnassus - MEMLING - - The Virgin and Child between St James and St Dominic - FRAGONARD - - The Music Lesson - JEAN VAN EYCK - - The Virgin of chancellor Rolin - PAOLO VERONESE - - Susannah and the Elders - FRANÇOIS BOUCHER - - Diana leaving her bath - GÉRICAULT - - The Raft of the Medusa - MURILLO - - Assumption of the Virgin - CLAUDE GELLEE (LORRAIN) - - Ulysses returning Chryseis to her father (Marine, setting sun) - INGRES - - Madame Riviere - E. MURILLO - - The Young Beggar - GREUZE - - The Broken Pitcher - PIETER DE HOOCH - - Card players in an opulent interior - POUSSIN - - Et in Arcadia ego - QUENTIN MATSYS - - The moneylender and his wife - ANDREA SOLARIO - - Madonna with the Green Cushion - TITIEN - - Woman with a Mirror - DAVID TENIERS (the Younger) - - The Works of Mercy - LEONARDO DA VINCI - - Mona Lisa (La Gioconda) - Armand Dayot . (shrink)

Many philosophers and psychologists have attempted to elucidate the nature of mental representation by appealing to notions like isomorphism or abstract structural resemblance. The ‘structural representations’ that these theorists champion are said to count as representations by virtue of functioning as internal models of distal systems. In his 2007 book, Representation Reconsidered, William Ramsey endorses the structural conception of mental representation, but uses it to develop a novel argument against representationalism, the widespread view that cognition essentially involves the manipulation of (...) mental representations. Ramsey argues that although theories within the ‘classical’ tradition of cognitive science once posited structural representations, these theories are being superseded by newer theories, within the tradition of connectionism and cognitive neuroscience, which rarely if ever appeal to structural representations. Instead, these theories seem to be explaining cognition by invoking so-called ‘receptor representations’, which, Ramsey claims, aren’t genuine representations at all—despite being called representations, these mechanisms function more as triggers or causal relays than as genuine stand-ins for distal systems. I argue that when the notions of structural and receptor representation are properly explicated, there turns out to be no distinction between them. There only appears to be a distinction between receptor and structural representations because the latter are tacitly conflated with the ‘mental models’ ostensibly involved in offline cognitive processes such as episodic memory and mental imagery. While structural representations might count as genuine representations, they aren’t distinctively mental representations, for they can be found in all sorts of non-intentional systems such as plants. Thus to explain the kinds of offline cognitive capacities that have motivated talk of mental models, we must develop richer conceptions of mental representation than those provided by the notions of structural and receptor representation. (shrink)

The paper identifies the phenomenal rise of increasingly invasive forms of elective cosmetic surgery targeted primarily at women and explores its significance in the context of contemporary biotechnology. A Foucauldian analysis of the significance of the normalization of technologized women's bodies is argued for. Three "Paradoxes of Choice" affecting women who "elect" cosmetic surgery are examined. Finally, two utopian feminist political responses are discussed: a Response of Refusal and a Response of Appropriation.

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

Amazon Book Review Series of “Wild Wise Weird”.

An analysis on the topic of lightness according to a philosophical perspective, which, on the trace of Parmenides, questions what is positive: the lightness or heaviness? The main point is that of Nietzsche and Calvin, but references ranging from Ovid to Kundera to the world of science. That of light, literary, scientific, philosophy, appears to be the preferred way forward in the eternal man's attempt to bring order to chaos. -/- .

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that a (...) four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

In this paper, I consider Augustine’s attempted solution of the problem of divine foreknowledge and free will. I focus on two distinct notions of God’s relationship to time as they relate to this problem. In Confessions XI, Augustine develops an understanding of time and foreknowledge that cIearly offers a possible solution to the foreknowledge/free will problem. I then turn to On Free Will 3.1-4, where Augustine conspicuously declines to use a solution similar to the one in the Confessions, rather developing (...) a response that demands a very different conception of foreknowledge. I subsequently argue that in On Free Will, Augustine’s argument requires that God’s foreknowledge, when considered in light of events involving human freedom, must be in a real sense dependent on the results of free choice. (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

This dissertation is a work in the philosophy of ecology and environmental philosophy. The central aims of the dissertation are to examine the role that ecological concepts and theories play in environmental philosophy, and to defend a conception of ecological science that is broad enough to address the philosophical and scientific concerns of environmental philosophers. As stated, these aims are consistent with the dominant tradition in contemporary environmental philosophy, but the dissertation is highly critical of the way the ecology-environmental philosophy (...) relationship is conceived and theorized in contemporary environmental philosophy. Rather than view ecology as a conceptual and scientific resource that is relevant to environmental philosophy only insofar as it provides support for the ethical, social and political aims of environmentalism, I argue that the core problems of environmental philosophy are essentially problems for a general science and philosophy of ecology, which I define as "the philosophical and scientific study of system-environment relationships". This definition of ecology is broad, but it is not vacuous. A central aim of the dissertation is to defend the robustness of a conception of ecology that is sufficiently broad to encompass "ecological psychology", "ecological economics", and "ecological anthropology", as well as traditional ecological science. ;The dissertation is divided into three parts, with three chapters in Part One, four chapters in Part Two, and two chapters in Part Three. Part One is a survey and critique of the role of ecology in environmental philosophy. Part Two develops a conceptual framework for a general philosophy of ecology based on developments in complex systems approaches in theoretical ecology and ecological psychology. Complexity and complex systems theories play a large role in the argument of the dissertation, and Part Three explores in greater detail certain issues in the foundations of the complex systems sciences that are relevant to a conception of ecological phenomena as complex systems phenomena. (shrink)

The recent publications reported in 2022 reveal the possibility of obtaining mouse embryos without the need for egg or sperm. These ‘artificial embryos’ can recapitulate some stages of development ex utero – from neurulation to organogenesis – without implantation. Synthetic mouse embryos might serve as a valuable model to gain further insights into early developmental stages. Indeed, it is expected for these models to be replicated by employing human cells. This promising research raises ethical issues and expands the horizon of (...) ethics in regard to the development of the human embryo. From this point of view, we state some of the new open venues for bioethical research. (shrink)

In identifying intrinsic molecular chance and extrinsic adaptive pressures as the only causally relevant factors in the process of evolution, the theoretical perspective of the Modern Synthesis had a major impact on the perceived tenability of an ontology of dispositional properties. However, since the late 1970s, an increasing number of evolutionary biologists have challenged the descriptive and explanatory adequacy of this “chance alone, extrinsic only” understanding of evolutionary change. Because morphological studies of homology, convergence, and teratology have revealed a space (...) of possible forms and phylogenetic trajectories that is considerably more restricted than expected, evo-devo has focused on the causal contribution of intrinsic developmental processes to the course of evolution. Evo-devo’s investigation into the developmental structure of the modality of morphology – including both the possibility and impossibility of organismal form – has led to the utilisation of a number of dispositional concepts that emphasise the tendency of the evolutionary process to change along certain routes. In this sense, and in contrast to the perspective of the Modern Synthesis, evo-devo can be described as a “science of dispositions.” This chapter discusses the recent philosophical literature on dispositional properties in evo-devo, exploring debates about both the metaphysical and epistemological aspects of the central dispositional concepts utilised in contemporary evo-devo and addressing the epistemological question of how dispositional properties challenge existing explanatory models in evolutionary biology. (shrink)

Despite the fact that common sense taxes emotions with irrationality, philosophers have, by and large, celebrated their functionality. They are credited with motivating, steadying, shaping or harmonizing our dispositions to act, and with policing norms of social behaviour. It's time to restore emotion's bad rep. To this end, I shall argue that we should expect that some of the “norms” enforced by emotions will be unevenly distributed among the members of our species, and may be dysfunctional at the individual, social, (...) moral, or even species levels. I”ll adduce three considerations in support of that pessimistic view: The fallacy of adaptive fixation, the moral randomness of group selection, and the lack of fit between “natural norms” set up by evolution and those moral and social norms we would like philosophy to justify. (shrink)

This project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers.

The editors cull the works of 11 noted French and German philosophers for their contributions to the debate about what animals are like and how we should relate to them. Each selection gives the gist of the philosopher's view followed by a noted scholar's comments. The result, as Peter Singer notes in his merciless Foreward, is that most of the Continentals have had almost nothing of interest to say on the topic.

In his book, The Last Word, Thomas Nagel expresses the hope that there exists no God. Guy Kahane, in his paper ‘Should We Want God to Exist?’, attempts to defend Nagel from an argument that concludes such a hope may be impermissible. In this paper we present a new defense for the hope that God does not exist.

The goal of this paper is to assess biological naturalism in light of the adaptationist debate. Searle is famous for explicity pursuing a biological foundation for his theory of consciousness. However, evolutionary biology receives little attention in his work, which results in crucial theoretical confusions over adaptationism. In this paper, we will propose two theses concerning Searle's approach to consciousness in the context of the adaptationist debate. First, Searle's attack on adaptationism only applies to its naive version, failing to touch (...) any of the more sophisticated versions of adaptationism, especially the empirical one. Second, despite his attack, in the end Searle embraces empirical adaptationism about consciousness. Howsoever, Searle's empirical foundation for his thesis that the evolutionary advantage of consciousness lies in a greater power of discrimination faces a serious problem of generalization regarding non-human animals. (shrink)

This paper studies Lamarck's scientific method both from the point of view of his methodological discourse and according to his scientific praxis. Lamarck's methodology is compared to Condillac's as well as to that of the idéologues - a group in which Lamarck is usually included. The analysis of this paper shows that Lamarck's methodological discourse is very similar to Condillac's, but his scientific praxis does not follow this view. Instead of following an empiricist approach, Lamarck's work is grounded upon general (...) metaphysical principles concerning nature. Thus, from the ideologues's point of view, Lamarck's work should have been rejected -and that is what really happened - as being a mere metaphysical system grupo no qual se costuma incluir o próprio Lamarck. Mostra-se que o discurso metodológico de Lamarck assemelha-se ao dos ideólogos; no entanto, sua prática científica não se coaduna com esse enfoque. Em vez de seguir uma abordagem empirista, a obra de Lamarck se fundamenta em princípios metafísicos gerais sobre a natureza. Sob o ponto de vista dos ideólogos, seu trabalho deveria ser rejeitado - o que de fato ocorreu - como um mero sistema metafísico - no sentido pejorativo utilizado pelos seguidores de Condillac. No entanto, o presente artigo argumenta que esse é justamente um importante e inovador aspecto da obra de Lamarck, que permitiu a eclosão do evolucionismo moderno. (shrink)

Deidealization as a topic in its own right has attracted remarkably little philosophical interest despite the extensive literature on idealization. One reason for this is the often implicit assumption that idealization and deidealization are, potentially at least, reversible processes. We question this assumption by analyzing the challenges of deidealization within a menu of four broad categories: deidealizing as recomposing, deidealizing as reformulating, deidealizing as concretizing, and deidealizing as situating. On closer inspection, models turn out much more inflexible than the reversal (...) thesis would have us believe, and deidealization emerges as a creative part of modeling. (shrink)

O presente artigo se propõe definir o que é predicação em Aristóteles, como predicamos e qual o critério para determinar se uma predicação é verdadeira ou falsa. Nossas referências serão o livro Das Categorias, do capítulo 1 ao 5 e Da interpretação do capítulo 1 ao 6. Concluiremos que a teoria da predicação em Aristóteles afirma que definir algo é predicar e que o critério de verdade de uma proposição é a sua correspondência aos fatos.